This book constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 9th International Colloquium on Grammatical Inference, ICGI 2008, held ...
اقرأ المزيدThe book presents important types of picture generators, using a tree-based approach to stress their common algorithmic basis, ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held ...
اقرأ المزيدThe aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and ...
اقرأ المزيدThe 18th International Conference on Inductive Logic Programming was held in Prague, September 10–12, 2008. ILP returned ...
اقرأ المزيدThis book develops a philosophical and logical interpretation of the concept of information within the formal structure of ...
اقرأ المزيدThis book presents the thoroughly refereed and revised proceedings of the 14th Monterey workshop, held in Monterey, CA, USA, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...
اقرأ المزيدThis book constitutes the thoroughly refereed proceedings of the 31th Annual German Conference on Artificial Intelligence, ...
اقرأ المزيدThis book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Knowledge Discovery, ...
اقرأ المزيدThe Latin American Theoretical INformatics Symposium (LATIN) is becoming a traditional and high-quality conference on the ...
اقرأ المزيدThis book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and ...
اقرأ المزيدThis book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops ...
اقرأ المزيدThe 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...
اقرأ المزيدThe 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...
اقرأ المزيد